Simulation Composition Approach for Auv
نویسندگان
چکیده
The computation of the simulation models is complex and the behavior sequence must be updated dynamically in AUV simulation system. The simulation system composability development framework is provided to solve these problems. The π calculus is extended to describe the time properties of models in the framework. And simulation models are formal described by the extended π calculus. Then the behavior composability is validated by reduction and bisimulation of π calculus. The framework is validated by the simulation composition example and the construction of AUV simulation test system. The framework can complete the description and the dynamical composability of various models in the distributed real time simulation system.
منابع مشابه
Hybrid Adaptive Neural Network AUV controller design with Sliding Mode Robust Term
This work addresses an autonomous underwater vehicle (AUV) for applying nonlinear control which is capable of disturbance rejection via intelligent estimation of uncertainties. Adaptive radial basis function neural network (RBF NN) controller is proposed to approximate unknown nonlinear dynamics. The problem of designing an adaptive RBF NN controller was augmented with sliding mode robust term ...
متن کاملObservability Analysis of DVL/PS Aided INS for a Maneuvering AUV
Recently, ocean exploration has increased considerably through the use of autonomous underwater vehicles (AUV). A key enabling technology is the precision of the AUV navigation capability. In this paper, we focus on understanding the limitation of the AUV navigation system. That is, what are the observable error-states for different maneuvering types of the AUV? Since analyzing the performance ...
متن کاملIntegrated Simulation for Rapid Development of Autonomous Underwater Vehicles
The development and testing of Autonomous Underwater Vehicle (AUV) hardware and software is greatly complicated by vehicle inaccessibility during operation. Integrated simulation remotely links vehicle components and support equipment with graphics simulation workstations, allowing complete real-time, pre-mission, pseudo-mission and post-mission visualization and analysis in the lab environment...
متن کاملAutonomous Underwater Vehicle Hull Geometry Optimization Using a Multi-objective Algorithm Approach
Abstarct In this paper, a new approach to optimize an Autonomous Underwater Vehicle (AUV) hull geometry is presented. Using this methode, the nose and tail of an underwater vehicle are designed, such that their length constraints due to the arrangement of different components in the AUV body are properly addressed. In the current study, an optimal design for the body profile of a torpedo-shaped...
متن کاملData-Gathering Scheme Using AUVs in Large-Scale Underwater Sensor Networks: A Multihop Approach
In this paper, we propose a data-gathering scheme for hierarchical underwater sensor networks, where multiple Autonomous Underwater Vehicles (AUVs) are deployed over large-scale coverage areas. The deployed AUVs constitute an intermittently connected multihop network through inter-AUV synchronization (in this paper, synchronization means an interconnection between nodes for communication) for f...
متن کامل